Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

摘要

PLACES 2017 (full title: Programming Language Approaches to Concurrency- andCommunication-cEntric Software) is the tenth edition of the PLACES workshopseries. After the first PLACES, which was affiliated to DisCoTec in 2008, theworkshop has been part of ETAPS every year since 2009 and is now an establishedpart of the ETAPS satellite events. PLACES 2017 was held on 29th April inUppsala, Sweden. The workshop series was started in order to promote theapplication of novel programming language ideas to the increasingly importantproblem of developing software for systems in which concurrency andcommunication are intrinsic aspects. This includes software for both multi-coresystems and large-scale distributed and/or service-oriented systems. The scopeof PLACES includes new programming language features, whole new programminglanguage designs, new type systems, new semantic approaches, new programanalysis techniques, and new implementation mechanisms. This volume consists ofthe papers accepted for presentation at the workshop.